body div#centercol, body div#leftcol, body div#rightcol {
	padding:0.2em;
}

body div#content div#leftcol, body div#content div#rightcol {
	width:12em;
	float:left;
}

body div#content div#leftcol ul li {
	color:#585858;
}

/* must come after body div#leftcol */
body div#content div#rightcol {
	float:right;
}

body div#content div#rightcol ul {
	list-style: none;
	padding:0;
	margin:0;
	font-size:smaller;
}

body div#content div#rightcol ul li {
	padding:1em 0 0;
}

body div#content div#centercol {
	margin:0 13em;
	overflow:auto;
	display:block;
}